最新研究进展 -MedSci.cn 相关研究进展 -MedSci.cn

On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems Horn constraint systems and cutting plane refutations

期刊： ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (10)

Alternating DCA for reduced-rank multitask linear regression with covariance matrix estimation

期刊： ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (7-9)

The undecidability of proof search when equality is a logical connective

期刊： ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (5)

Two-phase Matheuristic for the vehicle routing problem with reverse cross-docking

期刊： ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (7-9)

Minimising inequality in multiagent resource allocation Structural analysis of a distributed approach

期刊： ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (4)

Theory-relational belief revision

期刊： ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (6)

Structured argumentation dynamics Undermining attacks in default justification logic

期刊： ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (2-3)

Selecting a subset of diverse points based on the squared euclidean distance

期刊： ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (7-9)

A dual-population search differential evolution algorithm for functional distributed constraint optimization problems

期刊： ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2022; 90 (10)

内科

外科

专科科室

热点

按科室浏览

临床工具

科研工具

其他工具

科研数智化

真实世界研究解决方案

数字化学术传播解决方案

其它

科室

工具

服务